Pictorial Narratives and Temporal Refinement
نویسندگان
چکیده
منابع مشابه
The Formal Semantics of Free Perception in Pictorial Narratives
This paper semantically analyzes “free perception” sequences in pictorial narratives such as comics, where one panel shows a character looking, and the next panel shows what they see. Pictorial contents are assumed to be viewpoint-centered propositions. A framework for the representation of pictorial narratives is used where indexing and embedding of certain panels is characterized by hidden op...
متن کاملOn Refinement and Temporal Annotations
This paper introduces the semantics of a wide spectrum language with a rich compositional structure that is able to represent both temporal speciications and sequential programs. A key feature of the language is the ability to represent partial correctness annotations expressed in temporal logic. A reenement relation is presented that enables reenement steps to make use of these partial correct...
متن کاملTemporal Refinement for Lustre
This paper proposes a refinement calculus for Lustre. First a very general calculus is provided, which ensures correctness and reactivity for a large class of systems. Then, this calculus is adapted to provide oversampling and temporal refinement. We obtain thus an effective calculus for Lustre, which allows us to refine both computations and time. We illustrate its use on a small example and c...
متن کاملPlots of Narratives over Temporal Databases
An operation-based notion of plots of narratives is introduced, to summarize events happening to objects in the temporal database of an information system. The method proposed for modelling and handling plots, involving the application of a Planrecognition and Plan-generation facility, is shown to be useful for various purposes, including problem-detection and decision support. An interdiscipli...
متن کاملLinear Temporal Logic and Z Refinement
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also in terms of its state. One means of doing this is to use Linear Temporal Logic (LTL) in which properties about the state of a system over time can be captured. This, however, raises the question of whether these prop...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Semantics and Linguistic Theory
سال: 2019
ISSN: 2163-5951
DOI: 10.3765/salt.v29i0.4596